data FreeF f a = forall i. FMap (i -> a) (f i)